<?php
function jquery(){
    echo "<script type='text/javascript' src='/static/jquery.js'></script>";
}
?>
